Derivative of cot x proof